Skip to content

Conversation

@ArthurKnaus
Copy link
Member

@ArthurKnaus ArthurKnaus commented Oct 15, 2025

Format available tools nicely and highlight used ones.

Screen.Recording.2025-10-15.at.12.55.17.mov

@ArthurKnaus ArthurKnaus requested a review from a team as a code owner October 15, 2025 11:02
@ArthurKnaus ArthurKnaus requested a review from a team October 15, 2025 11:02
@linear
Copy link

linear bot commented Oct 15, 2025

@github-actions github-actions bot added the Scope: Frontend Automatically applied to PRs that change frontend components label Oct 15, 2025
cursor[bot]

This comment was marked as outdated.

@ArthurKnaus ArthurKnaus merged commit 1d5d202 into master Oct 15, 2025
47 checks passed
@ArthurKnaus ArthurKnaus deleted the arthurknaus/tet-1271-query-for-children-tool-execution-spans-to-display-executed branch October 15, 2025 12:31
chromy pushed a commit that referenced this pull request Oct 17, 2025
@github-actions github-actions bot locked and limited conversation to collaborators Oct 30, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Scope: Frontend Automatically applied to PRs that change frontend components

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants